package projeto;

public interface Vertice {
	//@ public model instance String n;
	
	public /*@ pure @*/ String getNome();
	
	/*@ assignable n;
	 @ ensures n == inome;
	 @*/
    public void setNome(String inome) ;
    
    public boolean equals(String obj);
}
